inductive assertion method

un. 归纳断言法

热门查询